home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
CD ROM Paradise Collection 4
/
CD ROM Paradise Collection 4 1995 Nov.iso
/
science
/
sm32a.zip
/
LIBRARY
/
PARTSUM.LI
< prev
next >
Wrap
Text File
|
1993-10-16
|
472b
|
16 lines
# the symbolic partial sum
# to find the symbolic sum of f(x) from x=1 to n
# partsum(n^2, n)
partsum(n_,n_) := n*(n+1)/2
partsum(n_^2,n_) := n*(n+1)*(2*n+1)/6
partsum(n_^3,n_) := n^2*(n+1)^2/4
partsum((-1)^(n_-1)*n_^2,n_) := (-1)^(n-1)*n*(n+1)/2
partsum(2*n_,n_) := n*(n+1)
partsum(2*n_-1,n_) := n^2
partsum((2*n_-1)^2,n_) := n*(4*n^2-1)/3
partsum((2*n_-1)^3,n_) := n^2*(2*n^2-1)
partsum(n_ !*n_, n_) := (n+1)!-1
partsum(n_/(n_+1)!, n_) := 1-1/(n+1)!